1. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
2. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
3. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
4. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
5. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده : Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016
6. Spiele effektiv programmieren
پدیدآورنده : Uwe Kettermann, Andreas Rohde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
7. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
